Contract Automata with Reparations
نویسندگان
چکیده
Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automatabased deontic approaches. Contract automata is a recent approach to modelling the notion of contract-based interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into, and contrast different ways reparation can be added to an automatonand state-based contract approach, extending contract automata with two forms of such clauses: catch-all reparations for violation and reparations for specific violations.
منابع مشابه
Extending Contract Automata with Reparations
Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata are a recent approach to modelling the notion of contractbased interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations....
متن کاملTowards Model-Checking Contracts
We understand by a contract a document written in natural language which engages several parties into a transaction, and which stipulates commitments (obligations, rights, and prohibitions) of the parties. Moreover the contract specifies also reparations in case of contract violation (i.e. some obligations or prohibitions are not respected). Because the human language is ambiguous by nature, co...
متن کاملRepairing the irreparable: dealing with the double-binds of making reparations for crimes of the past.
This paper explores the competing and often diverging psychological needs of the individual and the society with regards to making reparations for gross violations of human rights. The South African Truth and Reconciliation Commission's mandate and policy recommendations with regards to reparations for survivors and families of victims of human rights abuses are outlined. Thereafter, some of th...
متن کاملRestorative Justice and Reparations
In her book Between Vengeance and Forgiveness, Martha Minow begins a chapter on reparations with a brief discussion of restorative justice. She characterizes restorative justice as seeking “repair of social connections and peace rather than retribution against offenders;” she describes it as “building connections and enhancing communication between perpetrators and those they victimized, and fo...
متن کاملFormal languages and analysis of contract-oriented software
In this work we present a visual model called CO Diagrams for the specification of e-contracts. This model includes specification of obligations, permissions, prohibitions, reparations and restrictions such as real time constraints. We also define a formal semantics of the visual model intended for the analysis and verification of the modeled contracts.
متن کامل